An Environment for Building Mathematical Knowledge Libraries
نویسندگان
چکیده
In this paper we identify the organizational problems of Mathematical Knowledge Management and describe tools that address one of these problems, namely, the additional annotation of formalized knowledge. We describe, then, how the tools are realized in the frame of the Theorema system.
منابع مشابه
A Generic Programming Environment for High-Performance Mathematical Libraries
We report on a programming environment for the development of generic mathematical libraries based on functors (parameterized modules) that have rigorously speciied but very abstract interfaces. We focus on the combination of the functor-based programming style with software engineering principles in large development projects. The generated target code is highly eecient and can be easily embed...
متن کاملTeachers ‘professional development and conceptual change through the knowledge building environment
This study aimed to investigate conceptual change as a fruitful framework in teachers’ professional development through knowledge building environment. In cognitive approaches towards education, the quality of education is seen as a result of teachers’ actions and teachers’ action is seen as a result of their cognition. Thereby the goal of many teachers’ professional development programs is to ...
متن کاملAn Analysis of People's Mental Image of Iran's Public Library (Based on the Grounded Theory)
Purpose: Correspondence between the assumptions of the policies and the perceptions of the clients of service provider organizations can improve the effectiveness of policies and measures. The purpose of this study is to analyze the image of public libraries. Method: The present study is a qualitative study. To collect data, the structured interview method was used. A total of 72 people were i...
متن کاملمکان یابی کتابخانه های عمومی شهر رشت با استفاده از سامانۀ اطلاعات جغرافیایی (ساج)
Purpose: This research is an attempt to examine the spatial distribution and physical placement of public libraries in Rasht through a descriptive-analytical method using GIS. Methodology: The work is an applied research with a descriptive-analysis approach which has been performed in GIS Software environment based on criteria taken from City hall services authorized by mayoralty of Rasht cit...
متن کاملMathematical Libraries as Proof Assistant Environments
In this paper we analyse the modifications on logical operations — as proof checking, type inference, reduction and convertibility — that are required for the identification of a proof assistant environment with a distributed mathematical library, focusing on proof assistants based on the Curry-Howard isomorphism. This identification is aimed at the integration of Mathematical Knowledge Managem...
متن کامل